If I had that kind of money I probably would have purchased something different but sounds like to me he is in a different league$$$$ than most on this site.It's probably front pocket money.. I would be willing to bet he won't loose one minutes sleep if they sell for half.
I have a friend that purchased a 21 not sure what grade but not a field grade and ported it and put choke tubes....probably lost 1/2 the value but it was what he wanted....and he has the money to get what ever he wants.
I hate being poor.

monty