They would also seize the $9000, $900 and maybe even $90 if they could get away with it without doing too much work. After all their department gets to keep 80% of it and a $72 bonus for a bit of paperwork sounds good, a few of those and they can upgrade the coffee machine.