Yes but the time value for response that was returned did not appear to represent the output that I would have gotten had I used ping from the command line.
I gave up in the end and put something together using sudo and fping.