De prontidão, eu imagino Roberval ser uma derivação ou variação do nome Roberto, mas de onde vem a terminação “-val” no caso?

Já quanto a murder, ainda não tenho indícios ou vestígios. O que me lembra (simplesmente comento sobre isso de curiosidade, pois sei que não é algo relacionado ao trabalho de vocês no caso) que tinha uma série de televisão na Warner Channel, A Perfect Murder, que foi traduzida aqui no Brasil como Uma Mãe Perfeita (no caso, eles, obviamente, tomaram murder por mother). A galera protestou contra isso e, para a época, não fizeram a devida correção.