@Zenblaster
How much does CJ charge for it? The other thing you may consider is selling it and buying a "new" PV10 as they go for not much more than it would cost to repair yours. You may also want to crack the lid and do some cleaning. Not much chance that you would do damage from just cleaning it, and it doesn't cost you more than $10 in cleaning products vs $500 of having somebody else do it for you.
How much does CJ charge for it? The other thing you may consider is selling it and buying a "new" PV10 as they go for not much more than it would cost to repair yours. You may also want to crack the lid and do some cleaning. Not much chance that you would do damage from just cleaning it, and it doesn't cost you more than $10 in cleaning products vs $500 of having somebody else do it for you.