Thanks.
I did more comparisons online and it still looks like an 80mm. It looks like it could be one of the ones that can take either an 80 or a 90mm. Just to be safe I'd order ones of different sizes(at least 80 and 120, possibly 90 too), and then refund the ones that don't fit. They don't cost that much anyway and you could keep them around for other computers, or to loan/sell to one of your friends if the need arises.