Marbles went blue then cleared. So I waited, and yesterday I saw zillions of pieces of shed. I misted him. Today he still had a lot of shed stuck, so he went swimming. That was an adventure, he kept trying to climb out of the tub, either up my arm, or up onto the faucet. He was not happy but very gentle, not headshy when I dunked his head & neck to make sure they got soaked too. Then I ran my hands along his body very gently, and most of the shed came off. As usually I had to flick it off his tail tip (it sticks there even when he has a perfect shed otherwise, and I think he had a tiny tailtip injury because the last 3 mm of his tail is kind of lumpy which makes the shed cling to it). Finally, the bathtub is full of pieces of shed and he's about 90% clean so I gave up because I felt like I had bothered him enough for the evening.
Tomorrow he will go for another nice lukewarm bath and hopefully I'll get the rest of it.
He did get his head with eyecaps off all by himself perfectly, so no issues there. I misted him while he was blue & after he cleared but I guess it wasn't enough. Next time he goes blue I will try placing a second water bowl on the hot side.