I was thinking of doing that, but I'm not a big fan of Spain, and I'd probably lose money leaving it unused. Hell, I'd lose money either way. I could do a 'Spain IPO', with shares starting at $38 a piece. But then I'd lose another 8 billion dollars.