kimchee in Edinburgh?
I googled it too and came across a Korean society at Edinburgh Uni -- I am sure those Korean students have a supply, either locally or importing direclty (in which case maybe they're cut you in)?
Email them from this link:
Or you could've just googled this yourself I guess and came to the same conclusions as we have.
All the asian supermarkets sell the Chongga brand in several different flavours and sizes.
There are also two Korean restaurants, Kim mini meals in the southside and Shilla on Dundas st.
I reckon Shilla is better but neither are that great. Someone open a decent Korean BBQ place soon!