Hmm, I dont know what kind of parts ur mechanic used but there is a kit available for all cars with all seals and jans and gaskits.
If you buy that kit, i did my ee90 rings on sunday the kit was available as chinese for 1100, Japanese for 2700Rs and Genuine for 4100 Rs.
That kit will have each and every seal that u need in engine. Starting from chamber seal, Main seal timing side seals, Oil Pump seals, Water body seals, main head gaskit , these valve seals and all.
So when ever u rebuild engine just buy that and you dont need to purchase any more seals or gaskits. 