yes you are correct, it doesn't have a Floyd Rose, but a PRS Custom 24 SE would have the PRS standard trem fitted which would come close to doing the Floyd Rose trick.
if he really wants a FR, he could have one fitted for about $100 bucks or so.
Some compromises would have to be made with a budget of $700.
Cheers,
Marc