Yep, that's pretty much it. No extra cover was purchased so discretionary compensation of $50 should be payable, but even that's likely to be a bit of a battle.