It seems that-that person might be me! lol A set of tubes costs €18 which is around $24, so it's not as expensive as Joe's (at least here in Greece), and since I'll be in the area of the local dealer, I'll drop by and get them.

The main reason I looked into the Michelin tubes is that there doesn't seem to be any other tube for 700c x 38 available with schrader/auto valves which has me a little skeptical as to why that is.