[a_small_island]

Not a snark, but why do you address him as Mr. Buchheit and not Paul?

[dang]

I assume he's just trying to disambiguate, because for some reason the thread got hung up on which Paul is which.

Let's discuss more important things now?