ernie,
i always buy the hook just to be on the safe side. doesnt cost that much if it loses and it has saved me at least once every week or so.
i cant believe the line went to 142. i played it at about 10am at olympic and they had it at 133 or 134. glad it worked out for you
spider