I'd go 3.5 when I'm playing, but upon further review I've determined that the best bet size is 3.8 (80% pot)