I would have thought a JDM RX-7 would be going for more even though it has incomplete service records and aftermarket mods.
https://bringatrailer.com/listing/1992-mazda-rx-7-5/
Light output is significantly better. I did not know that about the UV rays. I will have to mention it to him. Maybe the next time he comes to visit, he lives 1600 miles from me, we will redo it but add the jetseal.
Half by hand, half with a buffer. 2500, 3000 then 5000 grit sandpaper. After that V36 polish from Chemical Guys. We could have gotten them clearer but we were on a time crunch.