Thank you for that.
You've been in the navy for quite some time. I suspect, by your rank, it would be close to 25 to 28 years—okay, plus that—so you were present when a previous government purchased some submarines. How much did it cost to get those submarines serviceable?