Nja, definisjonene dine er ikke helt riktige. Du har topp med toppakning. Over det har du toppdeksel med toppdekselpakning. På engelsk blir det head og head gasket, samt valve cover og valve cover gasket. Sistnevnte kan hete head cover også.
Pris på verksted? Minst 10k. Gjerne det dobbelte om ikke mer. Ofte må du kontrollere at toppen ikke har blitt skjeiv og fått sprekker, trykkteste den, muligens plane topp og gjøre litt mer når man først er der. Verdien på din bil basert på årsmodell er normalt 15-60k et sted og tatt i betraktning at den har kommet seg til "pops and bangs- stadiet" i eierskapet så er den muligens mot den lavere delen av skalaen? (no offence). Spørs hvor mye du vil bruke her, det får du garantert ikke igjen ved salg. Ta heller bilen på et verksted og få kjølesystemet trykktestet/diagnostert, så får du ta det derfra.