Thanks for the helpful tips--mission successfully accomplished! I found the oil filter wrench at Pep Boys for $4.50 (a 14 fluted 76mm tool that fits perfectly).