Ah, what the heck. Go ahead. Money is so cheap now there’s no money to be had by saving it, anyway.
They paid back the last bailout already. Why did they pay it back so fast if they were having issues. They could have extended the playback for a few years until the problems were fixed.