Another option is to use a conventional ac induction motor with or without added encoder for closed loop control but I would probably loose some rpm in that way, I know I can run a small 1-2kw motor at 5000rpm but I havent tried it with a 7.5kw motor yet.