op
Sir, I can get one for 7k NIB from a dealer. That is part of why I posted this to begin with, but thank you.
my point in putting that there (although it is deleted now) is to say that if you can buy a new one from a dealer for 7 grand, that it may not be too far off the used market trading price for the unit, and thus, if you are willing to make the effort to resell the unit if you don’t like it as much as you hope, that there would be a small or zero loss money-wise
good luck on your search