Not a very convincing argument (although it's probably correct).
This could really be handled differently. Why does the system not just evaluate, prior to accepting the sell order for the underlying stock, the new margin requirement for the resulting naked short call position and simply...