I am so sorry for you loss. It bothers me to here about such neglect from veterinarians. (coming from someone who works in vet. care)
Even a good cat/dog vet knows with any heat stroke animal to get an IV started and anti-shock medication. Veins run the same way in alot of animals.
Sorry, had to vent with you I understand completely.
You did what you could.
3.5 Common BCI, 0.2 Central American BCI 0.1 ATB, 0.1 Hog Island boa, 1.0 Burm, 1.1 Dumerils Boa, 0.0.1 Pueblan milk snake, 1.0 Sinaloan milk snake, 0.0.1 Indonesian Blue Tongue skink,0.0.1 Kei Island Blue Tongue skink, 0.0.2 Northern Blue Tongue skink, 1.1 Leopard gecko