Usually when someone colors up, they keep at least $200 in $5 chips to work with. If he's been picking up small pots, he'd have a lot more yellow chips.