Here’s the best way to get all numbers to add up –
$352k IO first @ 4.97% ($1458)
$85.7k 15-year fixed second @ 8% ($819)
$258/mo HOA
$4587 property tax ($382)
—
$2917/month cost.

They would have paid down $6.5k of principal on their second mortgage.