And again, I would rather see whatever the issue is get fixed, but just food for thought as a possible last resort...
I know that the 9" flat tops and the 16" tall tops are all interchangeable. I would assume that the round tops are too (meaning, the whole top unscrews from the rest of the slot). You should be able to swap your round top and a flat top between 2 machines. That way you could run Reel Em In on a different base machine with your round top, and then one of your DOTs on the old REI base with the swapped flat top.
Of course, this only works cosmetically if the 2 machines you are swapping tops on have the same color outer shell. I currently have black, 2 different greys, and 2 different tans out of the 8 WMS 40x slots that I own, and used to have a red one as well. So they come in all different colors making top swapping a pain if the 2 don't match.
Still would love to figure out what is going on, but hopefully there is a workaround like this if you cant...