Я всё-таки нашёл работающего сегодня электрика, и при сдаче машины он показал мне остатки шурупа с крышки, шляпку которого пришлось зубилом срезать. Так что "20 минут" это видимо в идеальном случае, а в среднестатистическом - час полтора....