To answer your original question, his Net LV is 5.7K or so. When it reaches zero, he will be margin called. Does that work for you?