Looks like @drtrabant hasn't received any replies!