By shorting FAS/FAZ, the time decay will work for him :-) This is a well known strategy in highly leveraged ETFs but these shares is tough to borrow and most likely he'll get a cover-call next day (or bit late depending upon broker).
Lets go through a simple case - something happened in may-4...