So, I haven't seen an follow up to this thread about using ActiveSync to get Gmail push to the HTC Mail app.
Just to share my experience, I setup ActiveSync for Gmail using the instructions posted in that thread, then setting the frequency to "as items arrive". I now get my Gmail litterally...