Its up to you really....your not going to hurt anything by undervolting the ram, and if its good PC3200, you could probably run it at 2.5v just fine. you SHOULD be able to up the voltage in the BIOS to 2.6v just to be safe. if you can't up the voltage, then you should be able to lower the frequency a bit, but i don't really know anything about the BIOS's on Tyan boards. Getting PC3200 and raising the voltage will leave you with a faster system overall, but in the event you can't raise the voltage, you'd be wasting time and money getting pc3200...sticky situation...
edit: ah, blackdog got in ahead of me, but there you go, go with the pc3200.