Yep, Petco generally has small adult mice. Try finding the smallest one. Live will always prevail over the f/t though, at least with starting babies.

Nevermind, just saw that he's around 120g. Try a medium adult mouse, he'll be fine.