Looks like @davidblackwell hasn't received any replies!