this is one of those spots where it might be somewhat better to bet less than what's left instead of the rest.

Shoving is just fine. betting like 15.75/f could be better.