Text this: Free broadcast DGPS service in marine: how good is it?