My vague recollection from an HR person was employees are 1.5x or 2.5x (something like that) their salary as a cost to the company. So $250k sounds about in the middle.