How long does the repair take?

The repair of this takes no longer than 10 minutes.