Tommy Bob is paid a salary of $$25,000$ per year with a premium of $1\mathrm{.}5$ times his pay for any hours over $40$ worked in a week. If Tommy Bob worked $47\mathrm{.}25$ hours for the week of $17$ April of the current year, give his gross pay.