oh wayy under 4K - IMO 4K would be overboard for video. We are paying over 1k but under 2k for ours. We decided to go with either 3 or 4 hours.
I looked into many and found Ãngel Zapién (link below) not the cheapest but not the most expensive either. When I was looking at video demos, his impressed me the most and I heard great things, but we all have different styles.
www.angelzapien.com
Good luck!