All paying 2.3 sats/vbyte. 162 inputs in total, and the combined fee of all those transactions is still less than the price they charge for a single withdrawal from a single user. So even considering that, the profit from one withdrawal transaction only drops from $800 down to $780 (I fixed my math in the post above).