You're welcome. I am sure someone will come along and post what you are looking for.
Good luck with the replacement...just replaced mine a few years ago... demo of 40 metric tons of concrete decking and replaced with about 8,500 brick pavers and used white travertine as the new coping...worked...