"If you don't ask, you don't get", a saying that's served me well over
time.

So I told the HR woman that Tom had mentioned a bonus.
She said she didn't know anything about that, and would call me back.
She did a bit later, with a 10 grand hiring bonus.
Easiest money I ever made.

Nicely done.