Update: I posted on taking 10 mg Amitriptyline a bit before bedtime, along with about 10 mg or so of Diphenhydramine. I didn't want to be on the latter, so I got off it last summer. Since then, I've had considerable success with this:
1. 10 mg Amitriptyline an hour before bedtime, two or three...