Ok, so as I understand it, he should report $19624 (9851 FMV + 9773 Personal use) on a 1099NEC and the company can take a $16832 loss.
