I've booked my 2013 manual 1.6 diesel Altea in for its 100k mile service I asked the garage if they could change the gearbox oil at the same time, the garage seems to think the box is sealed for life is this correct ? If not what would be the correct oil to use thanks.