I don't know if it is 64 bit compatible or not, but I am quite partial to VLC. To a large extent, one's choice of player is determined more by personal preference (user interface and additional features) than performance. VLC does work normally on my 32bit RTM version.