Dennis Lee Gibson death notice and obituary, Thursday October 4, 2018. Havenbrook Funeral Home Norman, OK 73072