Ok, a request for the answer. I think it's been long enough anyways.
1) Weight 3 coins on each side. If they balance, it wasn't any of them. (discard 6 possibilities) So we have the 3 coins left that haven't been weighed.
2) If the original weighing wasn't balanced, then again we are down to the 3 coins on the heaver side. (discarding the 3 on the lighter side, and the 3 that weren't weighed).
In either of the above two cases, we have 3 coins left to consider.
3) Weight two of the remaining 3 coins, if the balance it was the odd one out, and if it didn't, it's the coin on the heavier side.
So yeah, 2 weighings and you've got it with certainty.
The idea being that each weighing produces 1 of 3 outcomes. Heavier on side A, heavier on side B, or balanced. For each outcome, you reduce the possible space by a factor of 3 (if you've distributed the coins evenly among the cases). So with n weighings, you can determine the heaviest coin out of 3 ^ n coins. (provided the remaining 3^n - 1 coins have equal weight).
Btw, Eddy-B did mail me the answer and he got it right.
(I believe CK might have also spoken with Eddy and was also right, but I can't verify).