I can confirm about ice formation due to the evaporation of alcohol. Here's a story
(a little off-track, but what the heck). . .
I chose Mechanical Engineering as a college major, due to my interest in race vehicles.
While I was a student at Cal Poly (San Luis Obispo, CA), in the early 1970s, I bought a
used minibike, and a friend and I would take it to a nearby junior college that had a paved
runway for small aircraft. One of us would ride the minibike, Rollie-style, while the other
drove alongside in a car, reading its speedometer.
Best we ever did was 34 mph on straight alcohol, without changing jetting, gearing, or
anything else after using gasoline. The alcohol did frost the exterior of the carburetor
with ice.
Ah, youth!