Well I only got battlefleet Koronus the other day so I have yet to thorougly read it but it's got a ship points value so it can be "bought" if the GM is ok with their being one available, I wouldn't bat an eyelid if a GM said you had to do an endeavour to or such to or just flat out sorry we have none for sale right now.

Repairing that ship could still arguably be very resource and time consuming depending on the whims of the GM. I remember when we encountered it I said to the GM we could spend ages repairing and such but he looked at me flatly and in no uncertain terms said it wasn't on the cards as it was too badly damaged. I'd love to go back and get it but he made that clear... we should go send some npcs as an endeavour to salvage parts though come to think of it.